Failure modeling and process monitoring for flexible manufacturing systems using colored timed Petri nets
نویسندگان
چکیده
The performance of a flexible manufacturing system (FMS) depends on the equipment efficiency and process control. In order to increase the equipment efficiency, the failure mode analysis and fault diagnosis can be used to reduce the frequency of unexpected breakdowns of machines. In addition, the statistical process control (SPC) can be used for adjusting the process parameters to eliminate process variations. In this paper, a colored timed Petri net (CTPN) is used to model the process behavior of an FMS. In addition, the CTPN-based SPC, fault diagnosis, and failure model and effect analysis are modeled and analyzed individually. Especially, all of the modular models are integrated and linked based on the CTPN. Due to the unified CTPN modeling, the information of each modular model in the entire system can be exchanged and integrated directly and efficiently. Finally, the entire CTPN FMS models are implemented using G2 real-time expert system. Consequently, the proposed CTPN-based simulator can be acted as a real-time FMS monitor and controller through the G2 standard interface.
منابع مشابه
Using Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)
A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...
متن کاملMIMCA: A Modelling and Simulation Approach in Support of the Design and Construction of Manufacturing Control Systems Using Modular Petri net
A new generation of manufacturing machines so-called MIMCA (modular and integrated machine control architecture) capable of handling much increased complexity in manufacturing control-systems is presented. Requirement for more flexible and effective control systems for manufacturing machine systems is investigated and dimensioned-which highlights a need for improved means of coordinating and mo...
متن کاملA rule-based evaluation of ladder logic diagram and timed petri nets for programmable logic controllers
This paper describes an evaluation through a case study by measuring a rule-based approach, which proposed for ladder logic diagrams and Petri nets. In the beginning, programmable logic controllers were widely designed by ladder logic diagrams. When complexity and functionality of manufacturing systems increases, developing their software is becoming more difficult. Thus, Petri nets as a high l...
متن کاملPerformance and Dependability Evaluation of Manufacturing Systems Using Petri Nets
The importance of modeling and performance evaluation for the design of manufacturing systems is obvious. A new modeling method based on Colored Petri Nets is introduced in this paper, which is especially tailored to manufacturing systems. We propose the separate modeling of the manufacturing system's structure and the production routes with dedicated colored Petri nets. After an automatic comp...
متن کاملAccessibility Evaluation in Biometric Hybrid Architecture for Protecting Social Networks Using Colored Petri Nets
In the last few decades, technological progress has been made important information systems that require high security, Use safe and efficient methods for protecting their privacy. It is a major challenge to Protecting vital data and the ability to threaten attackers. And this has made it important and necessary to be sensitive to the authentication and identify of individuals in confidential n...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- IEEE Trans. Robotics and Automation
دوره 16 شماره
صفحات -
تاریخ انتشار 2000